Inferring complete initialization of arrays
نویسندگان
چکیده
منابع مشابه
Inferring complete initialization of arrays
Wedefine an automaton-based abstract interpretation of a trace semanticswhich identifies loops that definitely initialize all elements of an array to values satisfying a given property, a useful piece of information for the static analysis of Java-like languages. This results in a completely automatic and efficient analysis, that does not use manual code annotations. We give a formal proof of c...
متن کاملInferring Strings from Graphs and Arrays
This paper introduces a new problem of inferring strings from graphs, and inferring strings from arrays. Given a graph G or an array A, we infer a string that suits the graph, or the array, under some condition. Firstly, we solve the problem of finding a string w such that the directed acyclic subsequence graph (DASG) of w is isomorphic to a given graph G. Secondly, we consider directed acyclic...
متن کاملExtra Space during Initialization of Succinct Data Structures and of Dynamical Initializable Arrays
Many succinct data structures on a word RAM require precomputed tables to start operating. Usually, the tables can be constructed in sublinear time. In this time, most of the data structure is not initialized, i.e., there is plenty of unused space allocated for the data structure. We present a general framework to store temporary extra buffers between the real data so that data can be processed...
متن کاملHaplotype Inferring Via Galled-Tree Networks Is NP-Complete
The problem of determining haplotypes from genotypes has gained considerable prominence in the research community since the beginning of the HapMap project. Here the focus is on determining the sets of SNP values of individual chromosomes (haplotypes), since such information better captures the genetic causes of diseases. One of the main algorithmic tools for haplotyping is based on the assumpt...
متن کاملInferring influenza global transmission networks without complete phylogenetic information
Influenza is one of the most severe respiratory infections affecting humans throughout the world, yet the dynamics of its global transmission network are still contentious. Here, I describe a novel combination of phylogenetics, time series, and graph theory to analyze 14.25 years of data stratified in space and in time, focusing on the main target of the human immune response, the hemagglutinin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2013
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2013.01.007